Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Lamport Clocks
Logical Clocks, Happened-Before, Causal Ordering, Distributed Time
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146416
posts in
29.1
ms
Lamport
's Arrow of Time: The Category Mistake in Logical
Clocks
arxiv.org
·
4d
🕐
Vector Clocks
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
1h
·
Discuss:
r/programming
🐅
TigerBeetle Protocol
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
10h
✓
Formal Verification
Differential
Logic
• 15
inquiryintoinquiry.com
·
9h
∘
Category Theory
Coordination Computation Class: Necessary Conditions for
Bounded
Multi-Agent
Semantics
dev.to
·
17h
·
Discuss:
DEV
🌊
CALM Theorem
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
8h
·
Discuss:
Hacker News
📏
Linear Types
Unifying
non-Markovian
dynamics and agent
heterogeneity
in scalable stochastic networks
nature.com
·
11h
🔲
Cellular Automata
A
paragraph
I liked on algorithmic
timelines
site.sebasmonia.com
·
1d
🎯
Van Emde Boas Trees
Agentic
Engineering: Building Without
Writing
dehora.net
·
6h
🔲
Cellular Automata
and we have new
evidence
quarkus.io
·
1h
🚀
Performance
Refined Risk Bounds for
Unbounded
Losses via
Transductive
Priors
jmlr.org
·
15h
📊
Optimization
A Practical Guide to Time for Developers: Part 1 — What time is in software (
physics
+
agreements
)
dev.to
·
1d
·
Discuss:
DEV
🕐
Vector Clocks
Hyperfunctions
math.columbia.edu
·
11h
λ
Functional Programming
Operationalizing
Longitudinal
Causal Discovery Under Real-World Workflow Constraints
arxiv.org
·
22h
📈
Differential Dataflow
A
lamp
that
pulses
when Claude Code needs your attention
github.com
·
10h
·
Discuss:
Hacker News
⚡
LMAX Disruptor
Quantum dynamics show 'memory' depends on whether states or
observables
evolve
phys.org
·
2h
⚛️
Quantum Computing
Object
permanence
doctorow.medium.com
·
17h
🔲
Cellular Automata
On This Day in
Math
pballew.blogspot.com
·
1d
·
Discuss:
Blogger
🔢
Homomorphic Encryption
Recurrent
Neural Networks (
RNN
) From Scratch: The First Step Toward Modern LLMs
pub.towardsai.net
·
6h
🤖
TVM
sunshowers
sunshowers.io
·
1d
🦀
Rust Async
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help